<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<title>SemOpt: Argument Class Reference</title>

<link href="tabs.css" rel="stylesheet" type="text/css"/>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
<link href="navtree.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="resize.js"></script>
<script type="text/javascript" src="navtree.js"></script>
<script type="text/javascript">
  $(document).ready(initResizable);
</script>


</head>
<body>
<div id="top"><!-- do not remove this div! -->


<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  
  
  <td style="padding-left: 0.5em;">
   <div id="projectname">SemOpt
   &#160;<span id="projectnumber">0.2alpha5-SCC</span>
   </div>
   
  </td>
  
  
  
 </tr>
 </tbody>
</table>
</div>

<!-- Generated by Doxygen 1.7.6.1 -->
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="index.html"><span>Main&#160;Page</span></a></li>
      <li class="current"><a href="annotated.html"><span>Classes</span></a></li>
      <li><a href="files.html"><span>Files</span></a></li>
    </ul>
  </div>
  <div id="navrow2" class="tabs2">
    <ul class="tablist">
      <li><a href="annotated.html"><span>Class&#160;List</span></a></li>
      <li><a href="classes.html"><span>Class&#160;Index</span></a></li>
      <li><a href="functions.html"><span>Class&#160;Members</span></a></li>
    </ul>
  </div>
</div>
<div id="side-nav" class="ui-resizable side-nav-resizable">
  <div id="nav-tree">
    <div id="nav-tree-contents">
    </div>
  </div>
  <div id="splitbar" style="-moz-user-select:none;" 
       class="ui-resizable-handle">
  </div>
</div>
<script type="text/javascript">
  initNavTree('classArgument.html','');
</script>
<div id="doc-content">
<div class="header">
  <div class="summary">
<a href="#pub-methods">Public Member Functions</a>  </div>
  <div class="headertitle">
<div class="title">Argument Class Reference</div>  </div>
</div><!--header-->
<div class="contents">
<!-- doxytag: class="Argument" -->
<p>Class representing an <a class="el" href="classArgument.html" title="Class representing an Argument.">Argument</a>.  
 <a href="classArgument.html#details">More...</a></p>
<div class="dynheader">
Collaboration diagram for Argument:</div>
<div class="dyncontent">
<div class="center"><img src="classArgument__coll__graph.png" border="0" usemap="#Argument_coll__map" alt="Collaboration graph"/></div>
<map name="Argument_coll__map" id="Argument_coll__map">
<area shape="rect" id="node2" href="classAF.html" title="Class encompassing an Argumentation Framework." alt="" coords="101,104,139,133"/><area shape="rect" id="node4" href="classSetArguments.html" title="Class encompassing a set of arguments." alt="" coords="5,5,109,35"/></map>
<center><span class="legend">[<a target="top" href="graph_legend.html">legend</a>]</span></center></div>

<p><a href="classArgument-members.html">List of all members.</a></p>
<table class="memberdecls">
<tr><td colspan="2"><h2><a name="pub-methods"></a>
Public Member Functions</h2></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classArgument.html#aa312e97860b77b102739b7c836f7c253">Argument</a> (string, int, <a class="el" href="classAF.html">AF</a> *)</td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#aa312e97860b77b102739b7c836f7c253"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">string&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classArgument.html#a95323c2bfcbb4c0d494acc13f76cc28a">getName</a> () const </td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">Method returning the name of the argument.  <a href="#a95323c2bfcbb4c0d494acc13f76cc28a"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">int&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classArgument.html#aa26daf8c55afbe7d0970b23fbdbc96ca">getNumber</a> () const </td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">Method returning the unique integer identifier of this argument.  <a href="#aa26daf8c55afbe7d0970b23fbdbc96ca"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="classAF.html">AF</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classArgument.html#ad2e1361e07c13c5ec5784d33e58ef76e">get_af</a> ()</td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">Method returning the <a class="el" href="classAF.html" title="Class encompassing an Argumentation Framework.">AF</a> to which this argument belongs.  <a href="#ad2e1361e07c13c5ec5784d33e58ef76e"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="classVariable.html">Variable</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classArgument.html#a0f0599741585650c3bf44714d6a06df9">InVar</a> ()</td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">Method for determining a propositional variable representing that this argument should be labelled as `IN`.  <a href="#a0f0599741585650c3bf44714d6a06df9"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="classVariable.html">Variable</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classArgument.html#a22f8d770c9dabeee5400104f11cd94e9">OutVar</a> ()</td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">Method for determining a propositional variable representing that this argument should be labelled as `OUT`.  <a href="#a22f8d770c9dabeee5400104f11cd94e9"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="classVariable.html">Variable</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classArgument.html#a6b6fc0ba74c480e9186fe2860487008c">UndecVar</a> ()</td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">Method for determining a propositional variable representing that this argument should be labelled as `UNDEC`.  <a href="#a6b6fc0ba74c480e9186fe2860487008c"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="classVariable.html">Variable</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classArgument.html#a19efdd00a8dbf15271a311a720e300a4">NotInVar</a> ()</td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">Method for determining **the negation** of the propositional variable representing that this argument should be labelled as `IN`.  <a href="#a19efdd00a8dbf15271a311a720e300a4"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="classVariable.html">Variable</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classArgument.html#a0db86f8dcbb8aed850aa5d7c0a689372">NotOutVar</a> ()</td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">Method for determining **the negation** of the propositional variable representing that this argument should be labelled as `OUT`.  <a href="#a0db86f8dcbb8aed850aa5d7c0a689372"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="classVariable.html">Variable</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classArgument.html#a0b8fb438e4de8a4348e754714363fbf3">NotUndecVar</a> ()</td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">Method for determining **the negation** of the propositional variable representing that this argument should be labelled as `UNDEC`.  <a href="#a0b8fb438e4de8a4348e754714363fbf3"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classArgument.html#a44a615fda392650c5dc42036d9f4b1fc">operator==</a> (const <a class="el" href="classArgument.html">Argument</a> &amp;other) const </td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">Overloading of the == operator.  <a href="#a44a615fda392650c5dc42036d9f4b1fc"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classArgument.html#a6f035645e46115d0f5a3f3ca98461bce">operator!=</a> (const <a class="el" href="classArgument.html">Argument</a> &amp;other) const </td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">Overloading of the != operator.  <a href="#a6f035645e46115d0f5a3f3ca98461bce"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classArgument.html#a8a5cddf583929099b8228ed9300e2759">add_attacks</a> (<a class="el" href="classArgument.html">Argument</a> *)</td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">Method for adding an attacks originated from this argument.  <a href="#a8a5cddf583929099b8228ed9300e2759"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classArgument.html#ad295236fa6d55121e37e90ec05289c8c">add_attackers</a> (<a class="el" href="classArgument.html">Argument</a> *)</td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">Method for adding an attacker.  <a href="#ad295236fa6d55121e37e90ec05289c8c"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classArgument.html#aaee498e60e009e6fdb455decb25fa96d">remove_attacks</a> (<a class="el" href="classArgument.html">Argument</a> *)</td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">Method for removing an attacks originated from this argument.  <a href="#aaee498e60e009e6fdb455decb25fa96d"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classArgument.html#afbd830039143306df9ea249a8e3e8882">remove_attackers</a> (<a class="el" href="classArgument.html">Argument</a> *)</td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">Method for removing an attacker.  <a href="#afbd830039143306df9ea249a8e3e8882"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSetArguments.html">SetArguments</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classArgument.html#ae8c77c2d0676845f250d77dfb3ce4378">get_attacks</a> ()</td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">Method returning the set of attackers.  <a href="#ae8c77c2d0676845f250d77dfb3ce4378"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSetArguments.html">SetArguments</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classArgument.html#aa57914a9e5a27af3c3dbd1db8c0d3602">get_attackers</a> ()</td></tr>
<tr><td class="mdescLeft">&#160;</td><td class="mdescRight">Method returning the set of attacked arguments.  <a href="#aa57914a9e5a27af3c3dbd1db8c0d3602"></a><br/></td></tr>
</table>
<hr/><a name="details" id="details"></a><h2>Detailed Description</h2>
<div class="textblock"><p>Class representing an <a class="el" href="classArgument.html" title="Class representing an Argument.">Argument</a>. </p>
<dl class="author"><dt><b>Author:</b></dt><dd>Federico Cerutti &lt;<a href="mailto:f.cerutti@abdn.ac.uk">f.cerutti@abdn.ac.uk</a>&gt; </dd></dl>
<dl class="copyright"><dt><b>Copyright:</b></dt><dd>GNU Public License v2 </dd></dl>

<p>Definition at line <a class="el" href="Argument_8h_source.html#l00031">31</a> of file <a class="el" href="Argument_8h_source.html">Argument.h</a>.</p>
</div><hr/><h2>Constructor &amp; Destructor Documentation</h2>
<a class="anchor" id="aa312e97860b77b102739b7c836f7c253"></a><!-- doxytag: member="Argument::Argument" ref="aa312e97860b77b102739b7c836f7c253" args="(string, int, AF *)" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classArgument.html#aa312e97860b77b102739b7c836f7c253">Argument::Argument</a> </td>
          <td>(</td>
          <td class="paramtype">string&#160;</td>
          <td class="paramname"><em>name</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype">int&#160;</td>
          <td class="paramname"><em>num</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype"><a class="el" href="classAF.html">AF</a> *&#160;</td>
          <td class="paramname"><em>theaf</em>&#160;</td>
        </tr>
        <tr>
          <td></td>
          <td>)</td>
          <td></td><td></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Constructor. </p>
<dl class="params"><dt><b>Parameters:</b></dt><dd>
  <table class="params">
    <tr><td class="paramdir">[in]</td><td class="paramname">name</td><td>The name of the argument. It **must** be unique </td></tr>
    <tr><td class="paramdir">[in]</td><td class="paramname">num</td><td>A number identifying this argument. It **must** be unique </td></tr>
    <tr><td class="paramdir">[in]</td><td class="paramname">theaf</td><td>The pointer to the Argumentation Framework to which this argument belongs </td></tr>
  </table>
  </dd>
</dl>

<p>Definition at line <a class="el" href="Argument_8cpp_source.html#l00017">17</a> of file <a class="el" href="Argument_8cpp_source.html">Argument.cpp</a>.</p>

</div>
</div>
<hr/><h2>Member Function Documentation</h2>
<a class="anchor" id="ad295236fa6d55121e37e90ec05289c8c"></a><!-- doxytag: member="Argument::add_attackers" ref="ad295236fa6d55121e37e90ec05289c8c" args="(Argument *)" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">void <a class="el" href="classArgument.html#ad295236fa6d55121e37e90ec05289c8c">Argument::add_attackers</a> </td>
          <td>(</td>
          <td class="paramtype"><a class="el" href="classArgument.html">Argument</a> *&#160;</td>
          <td class="paramname"><em>arg</em></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Method for adding an attacker. </p>
<dl class="params"><dt><b>Parameters:</b></dt><dd>
  <table class="params">
    <tr><td class="paramdir">[in]</td><td class="paramname">arg</td><td></td></tr>
  </table>
  </dd>
</dl>
<dl class="retval"><dt><b>Return values:</b></dt><dd>
  <table class="retval">
    <tr><td class="paramname">void</td><td></td></tr>
  </table>
  </dd>
</dl>

<p>Definition at line <a class="el" href="Argument_8cpp_source.html#l00162">162</a> of file <a class="el" href="Argument_8cpp_source.html">Argument.cpp</a>.</p>

<p>References <a class="el" href="SetArguments_8cpp_source.html#l00056">SetArguments::add_Argument()</a>.</p>

<p>Referenced by <a class="el" href="SCCSEQ_8cpp_source.html#l00216">SCCSEQ::linkMacroGraph()</a>.</p>

</div>
</div>
<a class="anchor" id="a8a5cddf583929099b8228ed9300e2759"></a><!-- doxytag: member="Argument::add_attacks" ref="a8a5cddf583929099b8228ed9300e2759" args="(Argument *)" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">void <a class="el" href="classArgument.html#a8a5cddf583929099b8228ed9300e2759">Argument::add_attacks</a> </td>
          <td>(</td>
          <td class="paramtype"><a class="el" href="classArgument.html">Argument</a> *&#160;</td>
          <td class="paramname"><em>arg</em></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Method for adding an attacks originated from this argument. </p>
<dl class="params"><dt><b>Parameters:</b></dt><dd>
  <table class="params">
    <tr><td class="paramdir">[in]</td><td class="paramname">arg</td><td></td></tr>
  </table>
  </dd>
</dl>
<dl class="retval"><dt><b>Return values:</b></dt><dd>
  <table class="retval">
    <tr><td class="paramname">void</td><td></td></tr>
  </table>
  </dd>
</dl>

<p>Definition at line <a class="el" href="Argument_8cpp_source.html#l00152">152</a> of file <a class="el" href="Argument_8cpp_source.html">Argument.cpp</a>.</p>

<p>References <a class="el" href="SetArguments_8cpp_source.html#l00056">SetArguments::add_Argument()</a>.</p>

<p>Referenced by <a class="el" href="SCCSEQ_8cpp_source.html#l00216">SCCSEQ::linkMacroGraph()</a>, and <a class="el" href="AF_8cpp_source.html#l00036">AF::readFile()</a>.</p>

</div>
</div>
<a class="anchor" id="ad2e1361e07c13c5ec5784d33e58ef76e"></a><!-- doxytag: member="Argument::get_af" ref="ad2e1361e07c13c5ec5784d33e58ef76e" args="()" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classAF.html">AF</a> * <a class="el" href="classArgument.html#ad2e1361e07c13c5ec5784d33e58ef76e">Argument::get_af</a> </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Method returning the <a class="el" href="classAF.html" title="Class encompassing an Argumentation Framework.">AF</a> to which this argument belongs. </p>
<dl class="retval"><dt><b>Return values:</b></dt><dd>
  <table class="retval">
    <tr><td class="paramname">AF*</td><td></td></tr>
  </table>
  </dd>
</dl>

<p>Definition at line <a class="el" href="Argument_8cpp_source.html#l00209">209</a> of file <a class="el" href="Argument_8cpp_source.html">Argument.cpp</a>.</p>

</div>
</div>
<a class="anchor" id="aa57914a9e5a27af3c3dbd1db8c0d3602"></a><!-- doxytag: member="Argument::get_attackers" ref="aa57914a9e5a27af3c3dbd1db8c0d3602" args="()" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classSetArguments.html">SetArguments</a> * <a class="el" href="classArgument.html#aa57914a9e5a27af3c3dbd1db8c0d3602">Argument::get_attackers</a> </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Method returning the set of attacked arguments. </p>
<dl class="retval"><dt><b>Return values:</b></dt><dd>
  <table class="retval">
    <tr><td class="paramname">SetArguments*</td><td></td></tr>
  </table>
  </dd>
</dl>

<p>Definition at line <a class="el" href="Argument_8cpp_source.html#l00200">200</a> of file <a class="el" href="Argument_8cpp_source.html">Argument.cpp</a>.</p>

<p>Referenced by <a class="el" href="SetArguments_8cpp_source.html#l00285">SetArguments::getArgumentAttackersInSet()</a>, and <a class="el" href="SCCSEQ_8cpp_source.html#l00273">SCCSEQ::toposort()</a>.</p>

</div>
</div>
<a class="anchor" id="ae8c77c2d0676845f250d77dfb3ce4378"></a><!-- doxytag: member="Argument::get_attacks" ref="ae8c77c2d0676845f250d77dfb3ce4378" args="()" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classSetArguments.html">SetArguments</a> * <a class="el" href="classArgument.html#ae8c77c2d0676845f250d77dfb3ce4378">Argument::get_attacks</a> </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Method returning the set of attackers. </p>
<dl class="retval"><dt><b>Return values:</b></dt><dd>
  <table class="retval">
    <tr><td class="paramname">SetArguments*</td><td></td></tr>
  </table>
  </dd>
</dl>

<p>Definition at line <a class="el" href="Argument_8cpp_source.html#l00191">191</a> of file <a class="el" href="Argument_8cpp_source.html">Argument.cpp</a>.</p>

<p>Referenced by <a class="el" href="SetArguments_8cpp_source.html#l00242">SetArguments::getArgumentAttacksInSet()</a>, and <a class="el" href="SCCSEQ_8cpp_source.html#l00273">SCCSEQ::toposort()</a>.</p>

</div>
</div>
<a class="anchor" id="a95323c2bfcbb4c0d494acc13f76cc28a"></a><!-- doxytag: member="Argument::getName" ref="a95323c2bfcbb4c0d494acc13f76cc28a" args="() const " -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">string <a class="el" href="classArgument.html#a95323c2bfcbb4c0d494acc13f76cc28a">Argument::getName</a> </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td> const</td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Method returning the name of the argument. </p>
<dl class="retval"><dt><b>Return values:</b></dt><dd>
  <table class="retval">
    <tr><td class="paramname">string</td><td></td></tr>
  </table>
  </dd>
</dl>

<p>Definition at line <a class="el" href="Argument_8cpp_source.html#l00035">35</a> of file <a class="el" href="Argument_8cpp_source.html">Argument.cpp</a>.</p>

<p>Referenced by <a class="el" href="SetArguments_8cpp_source.html#l00056">SetArguments::add_Argument()</a>, <a class="el" href="SetArguments_8cpp_source.html#l00319">SetArguments::exists()</a>, <a class="el" href="Argument_8cpp_source.html#l00138">operator!=()</a>, <a class="el" href="Argument_8cpp_source.html#l00224">operator&lt;&lt;()</a>, <a class="el" href="Argument_8cpp_source.html#l00124">operator==()</a>, and <a class="el" href="SetArguments_8cpp_source.html#l00338">SetArguments::remove()</a>.</p>

</div>
</div>
<a class="anchor" id="aa26daf8c55afbe7d0970b23fbdbc96ca"></a><!-- doxytag: member="Argument::getNumber" ref="aa26daf8c55afbe7d0970b23fbdbc96ca" args="() const " -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">int <a class="el" href="classArgument.html#aa26daf8c55afbe7d0970b23fbdbc96ca">Argument::getNumber</a> </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td> const</td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Method returning the unique integer identifier of this argument. </p>
<dl class="retval"><dt><b>Return values:</b></dt><dd>
  <table class="retval">
    <tr><td class="paramname">int</td><td></td></tr>
  </table>
  </dd>
</dl>

<p>Definition at line <a class="el" href="Argument_8cpp_source.html#l00054">54</a> of file <a class="el" href="Argument_8cpp_source.html">Argument.cpp</a>.</p>

<p>Referenced by <a class="el" href="SetArguments_8cpp_source.html#l00056">SetArguments::add_Argument()</a>, <a class="el" href="Argument_8cpp_source.html#l00138">operator!=()</a>, <a class="el" href="Argument_8cpp_source.html#l00224">operator&lt;&lt;()</a>, <a class="el" href="Argument_8cpp_source.html#l00124">operator==()</a>, <a class="el" href="SCCSEQ_8cpp_source.html#l00395">SCCSEQ::strongConnected()</a>, and <a class="el" href="SCCSEQ_8cpp_source.html#l00273">SCCSEQ::toposort()</a>.</p>

</div>
</div>
<a class="anchor" id="a0f0599741585650c3bf44714d6a06df9"></a><!-- doxytag: member="Argument::InVar" ref="a0f0599741585650c3bf44714d6a06df9" args="()" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classVariable.html">Variable</a> <a class="el" href="classArgument.html#a0f0599741585650c3bf44714d6a06df9">Argument::InVar</a> </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Method for determining a propositional variable representing that this argument should be labelled as `IN`. </p>
<dl class="retval"><dt><b>Return values:</b></dt><dd>
  <table class="retval">
    <tr><td class="paramname"><a class="el" href="classVariable.html" title="`Variable` is defined easily as a `typedef int Variable`">Variable</a></td><td></td></tr>
  </table>
  </dd>
</dl>

<p>Definition at line <a class="el" href="Argument_8cpp_source.html#l00064">64</a> of file <a class="el" href="Argument_8cpp_source.html">Argument.cpp</a>.</p>

<p>Referenced by <a class="el" href="Argument_8cpp_source.html#l00094">NotInVar()</a>.</p>

</div>
</div>
<a class="anchor" id="a19efdd00a8dbf15271a311a720e300a4"></a><!-- doxytag: member="Argument::NotInVar" ref="a19efdd00a8dbf15271a311a720e300a4" args="()" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classVariable.html">Variable</a> <a class="el" href="classArgument.html#a19efdd00a8dbf15271a311a720e300a4">Argument::NotInVar</a> </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Method for determining **the negation** of the propositional variable representing that this argument should be labelled as `IN`. </p>
<dl class="retval"><dt><b>Return values:</b></dt><dd>
  <table class="retval">
    <tr><td class="paramname"><a class="el" href="classVariable.html" title="`Variable` is defined easily as a `typedef int Variable`">Variable</a></td><td></td></tr>
  </table>
  </dd>
</dl>

<p>Definition at line <a class="el" href="Argument_8cpp_source.html#l00094">94</a> of file <a class="el" href="Argument_8cpp_source.html">Argument.cpp</a>.</p>

<p>References <a class="el" href="Argument_8cpp_source.html#l00064">InVar()</a>.</p>

</div>
</div>
<a class="anchor" id="a0db86f8dcbb8aed850aa5d7c0a689372"></a><!-- doxytag: member="Argument::NotOutVar" ref="a0db86f8dcbb8aed850aa5d7c0a689372" args="()" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classVariable.html">Variable</a> <a class="el" href="classArgument.html#a0db86f8dcbb8aed850aa5d7c0a689372">Argument::NotOutVar</a> </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Method for determining **the negation** of the propositional variable representing that this argument should be labelled as `OUT`. </p>
<dl class="retval"><dt><b>Return values:</b></dt><dd>
  <table class="retval">
    <tr><td class="paramname"><a class="el" href="classVariable.html" title="`Variable` is defined easily as a `typedef int Variable`">Variable</a></td><td></td></tr>
  </table>
  </dd>
</dl>

<p>Definition at line <a class="el" href="Argument_8cpp_source.html#l00104">104</a> of file <a class="el" href="Argument_8cpp_source.html">Argument.cpp</a>.</p>

<p>References <a class="el" href="Argument_8cpp_source.html#l00074">OutVar()</a>.</p>

</div>
</div>
<a class="anchor" id="a0b8fb438e4de8a4348e754714363fbf3"></a><!-- doxytag: member="Argument::NotUndecVar" ref="a0b8fb438e4de8a4348e754714363fbf3" args="()" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classVariable.html">Variable</a> <a class="el" href="classArgument.html#a0b8fb438e4de8a4348e754714363fbf3">Argument::NotUndecVar</a> </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Method for determining **the negation** of the propositional variable representing that this argument should be labelled as `UNDEC`. </p>
<dl class="retval"><dt><b>Return values:</b></dt><dd>
  <table class="retval">
    <tr><td class="paramname"><a class="el" href="classVariable.html" title="`Variable` is defined easily as a `typedef int Variable`">Variable</a></td><td></td></tr>
  </table>
  </dd>
</dl>

<p>Definition at line <a class="el" href="Argument_8cpp_source.html#l00114">114</a> of file <a class="el" href="Argument_8cpp_source.html">Argument.cpp</a>.</p>

<p>References <a class="el" href="Argument_8cpp_source.html#l00084">UndecVar()</a>.</p>

</div>
</div>
<a class="anchor" id="a6f035645e46115d0f5a3f3ca98461bce"></a><!-- doxytag: member="Argument::operator!=" ref="a6f035645e46115d0f5a3f3ca98461bce" args="(const Argument &amp;other) const " -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">bool Argument::operator!= </td>
          <td>(</td>
          <td class="paramtype">const <a class="el" href="classArgument.html">Argument</a> &amp;&#160;</td>
          <td class="paramname"><em>other</em></td><td>)</td>
          <td> const</td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Overloading of the != operator. </p>
<dl class="params"><dt><b>Parameters:</b></dt><dd>
  <table class="params">
    <tr><td class="paramdir">[in]</td><td class="paramname">other</td><td>The other term of the comparison </td></tr>
  </table>
  </dd>
</dl>
<dl class="retval"><dt><b>Return values:</b></dt><dd>
  <table class="retval">
    <tr><td class="paramname">bool</td><td></td></tr>
  </table>
  </dd>
</dl>

<p>Definition at line <a class="el" href="Argument_8cpp_source.html#l00138">138</a> of file <a class="el" href="Argument_8cpp_source.html">Argument.cpp</a>.</p>

<p>References <a class="el" href="Argument_8cpp_source.html#l00035">getName()</a>, and <a class="el" href="Argument_8cpp_source.html#l00054">getNumber()</a>.</p>

</div>
</div>
<a class="anchor" id="a44a615fda392650c5dc42036d9f4b1fc"></a><!-- doxytag: member="Argument::operator==" ref="a44a615fda392650c5dc42036d9f4b1fc" args="(const Argument &amp;other) const " -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">bool Argument::operator== </td>
          <td>(</td>
          <td class="paramtype">const <a class="el" href="classArgument.html">Argument</a> &amp;&#160;</td>
          <td class="paramname"><em>other</em></td><td>)</td>
          <td> const</td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Overloading of the == operator. </p>
<dl class="params"><dt><b>Parameters:</b></dt><dd>
  <table class="params">
    <tr><td class="paramdir">[in]</td><td class="paramname">other</td><td>The other term of the comparison </td></tr>
  </table>
  </dd>
</dl>
<dl class="retval"><dt><b>Return values:</b></dt><dd>
  <table class="retval">
    <tr><td class="paramname">bool</td><td></td></tr>
  </table>
  </dd>
</dl>

<p>Definition at line <a class="el" href="Argument_8cpp_source.html#l00124">124</a> of file <a class="el" href="Argument_8cpp_source.html">Argument.cpp</a>.</p>

<p>References <a class="el" href="Argument_8cpp_source.html#l00035">getName()</a>, and <a class="el" href="Argument_8cpp_source.html#l00054">getNumber()</a>.</p>

</div>
</div>
<a class="anchor" id="a22f8d770c9dabeee5400104f11cd94e9"></a><!-- doxytag: member="Argument::OutVar" ref="a22f8d770c9dabeee5400104f11cd94e9" args="()" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classVariable.html">Variable</a> <a class="el" href="classArgument.html#a22f8d770c9dabeee5400104f11cd94e9">Argument::OutVar</a> </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Method for determining a propositional variable representing that this argument should be labelled as `OUT`. </p>
<dl class="retval"><dt><b>Return values:</b></dt><dd>
  <table class="retval">
    <tr><td class="paramname"><a class="el" href="classVariable.html" title="`Variable` is defined easily as a `typedef int Variable`">Variable</a></td><td></td></tr>
  </table>
  </dd>
</dl>

<p>Definition at line <a class="el" href="Argument_8cpp_source.html#l00074">74</a> of file <a class="el" href="Argument_8cpp_source.html">Argument.cpp</a>.</p>

<p>References <a class="el" href="AF_8cpp_source.html#l00104">AF::numArgs()</a>.</p>

<p>Referenced by <a class="el" href="Argument_8cpp_source.html#l00104">NotOutVar()</a>.</p>

</div>
</div>
<a class="anchor" id="afbd830039143306df9ea249a8e3e8882"></a><!-- doxytag: member="Argument::remove_attackers" ref="afbd830039143306df9ea249a8e3e8882" args="(Argument *)" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">void <a class="el" href="classArgument.html#afbd830039143306df9ea249a8e3e8882">Argument::remove_attackers</a> </td>
          <td>(</td>
          <td class="paramtype"><a class="el" href="classArgument.html">Argument</a> *&#160;</td>
          <td class="paramname"><em>arg</em></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Method for removing an attacker. </p>
<dl class="author"><dt><b>Author:</b></dt><dd>PAT </dd></dl>
<dl class="params"><dt><b>Parameters:</b></dt><dd>
  <table class="params">
    <tr><td class="paramdir">[in]</td><td class="paramname">arg</td><td></td></tr>
  </table>
  </dd>
</dl>
<dl class="retval"><dt><b>Return values:</b></dt><dd>
  <table class="retval">
    <tr><td class="paramname">void</td><td></td></tr>
  </table>
  </dd>
</dl>

<p>Definition at line <a class="el" href="Argument_8cpp_source.html#l00182">182</a> of file <a class="el" href="Argument_8cpp_source.html">Argument.cpp</a>.</p>

<p>References <a class="el" href="SetArguments_8cpp_source.html#l00338">SetArguments::remove()</a>.</p>

<p>Referenced by <a class="el" href="SCCSEQ_8cpp_source.html#l00273">SCCSEQ::toposort()</a>.</p>

</div>
</div>
<a class="anchor" id="aaee498e60e009e6fdb455decb25fa96d"></a><!-- doxytag: member="Argument::remove_attacks" ref="aaee498e60e009e6fdb455decb25fa96d" args="(Argument *)" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">void <a class="el" href="classArgument.html#aaee498e60e009e6fdb455decb25fa96d">Argument::remove_attacks</a> </td>
          <td>(</td>
          <td class="paramtype"><a class="el" href="classArgument.html">Argument</a> *&#160;</td>
          <td class="paramname"><em>arg</em></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Method for removing an attacks originated from this argument. </p>
<dl class="author"><dt><b>Author:</b></dt><dd>PAT </dd></dl>
<dl class="params"><dt><b>Parameters:</b></dt><dd>
  <table class="params">
    <tr><td class="paramdir">[in]</td><td class="paramname">arg</td><td></td></tr>
  </table>
  </dd>
</dl>
<dl class="retval"><dt><b>Return values:</b></dt><dd>
  <table class="retval">
    <tr><td class="paramname">void</td><td></td></tr>
  </table>
  </dd>
</dl>

<p>Definition at line <a class="el" href="Argument_8cpp_source.html#l00172">172</a> of file <a class="el" href="Argument_8cpp_source.html">Argument.cpp</a>.</p>

<p>References <a class="el" href="SetArguments_8cpp_source.html#l00338">SetArguments::remove()</a>.</p>

<p>Referenced by <a class="el" href="SCCSEQ_8cpp_source.html#l00273">SCCSEQ::toposort()</a>.</p>

</div>
</div>
<a class="anchor" id="a6b6fc0ba74c480e9186fe2860487008c"></a><!-- doxytag: member="Argument::UndecVar" ref="a6b6fc0ba74c480e9186fe2860487008c" args="()" -->
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classVariable.html">Variable</a> <a class="el" href="classArgument.html#a6b6fc0ba74c480e9186fe2860487008c">Argument::UndecVar</a> </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Method for determining a propositional variable representing that this argument should be labelled as `UNDEC`. </p>
<dl class="retval"><dt><b>Return values:</b></dt><dd>
  <table class="retval">
    <tr><td class="paramname"><a class="el" href="classVariable.html" title="`Variable` is defined easily as a `typedef int Variable`">Variable</a></td><td></td></tr>
  </table>
  </dd>
</dl>

<p>Definition at line <a class="el" href="Argument_8cpp_source.html#l00084">84</a> of file <a class="el" href="Argument_8cpp_source.html">Argument.cpp</a>.</p>

<p>References <a class="el" href="AF_8cpp_source.html#l00104">AF::numArgs()</a>.</p>

<p>Referenced by <a class="el" href="Argument_8cpp_source.html#l00114">NotUndecVar()</a>.</p>

</div>
</div>
<hr/>The documentation for this class was generated from the following files:<ul>
<li>src/<a class="el" href="Argument_8h_source.html">Argument.h</a></li>
<li>src/<a class="el" href="Argument_8cpp_source.html">Argument.cpp</a></li>
</ul>
</div><!-- contents -->
</div>
  <div id="nav-path" class="navpath">
    <ul>
      <li class="navelem"><a class="el" href="classArgument.html">Argument</a>      </li>

    <li class="footer">Generated on Fri Jan 17 2014 11:47:52 for SemOpt by
    <a href="http://www.doxygen.org/index.html">
    <img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.7.6.1 </li>
   </ul>
 </div>


</body>
</html>
